Thin fillers in the cubical nerves of omega-categories
نویسندگان
چکیده
It is shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of this type is the cubical nerve of a strict omega-category unique up to isomorphism; the cubical nerve functor is therefore an equivalence of categories. The sequences of sets involved are the analogues of cubical T-complexes appropriate for strict omega-categories. Degeneracies are not required in the definition of these sequences, but can in fact be constructed as thin fillers. The proof of the thin filler conditions uses chain complexes and chain homotopies.
منابع مشابه
Thin Elements and Commutative Shells in Cubical ω-categories
The relationships between thin elements, commutative shells and connections in cubical ω-categories are explored by a method which does not involve the use of pasting theory or nerves of ω-categories (both of which were previously needed for this purpose; see [2], Section 9). It is shown that composites of commutative shells are commutative and that thin structures are equivalent to appropriate...
متن کاملComplicial Structures in the Nerves of Omega-categories
It is known that strict omega-categories are equivalent through the nerve functor to complicial sets and to sets with complicial identities. It follows that complicial sets are equivalent to sets with complicial identities. We discuss these equivalences. In particular we give a conceptual proof that the nerves of omega-categories are complicial sets, and a direct proof that complicial sets are ...
متن کاملOperads of higher transformations for globular sets and for higher magmas
In this article we discuss examples of fractal $omega$-operads. Thus we show that there is an $omega$-operadic approach to explain existence of the globular set of globular setsfootnote{Globular sets are also called $omega$-graphs by the French School.}, the reflexive globular set of reflexive globular sets, the $omega$-magma of $omega$-magmas, and also the reflexive $omega$-magma ...
متن کاملThe Algebra of the Nerves of Omega-categories
We show that the nerve of a strict omega-category can be described algebraically as a simplicial set with additional operations subject to certain identities. The resulting structures are called sets with complicial identities. We also construct an equivalence between the categories of strict omega-categories and of sets with complical identities.
متن کاملWeak omega-categories
This paper proposes to define a weak higher-dimensional category to be a simplicial set satisfying properties. The definition is a refinement of that suggested at the end of [St3] which required extra structure on the simplicial set. The paper [St3] constructed the simplicial nerve of a (strict) ω-category. The principal aim of the paper was to prove that the construction was right adjoint to t...
متن کامل